

import java.util.Collection;
import java.util.Iterator;
public class Pleito extends Documento {

	/**
 *
 */
private Collection<Trabajador> trabajo;

/**
 * Getter of the property <tt>trabajo</tt>
 *
 * @return Returns the trabajo.
 * 
 */
public Collection<Trabajador> getTrabajo()
{
	return trabajo;
}
 
/**
 * Returns an iterator over the elements in this collection. 
 *
 * @return an <tt>Iterator</tt> over the elements in this collection
 * @see	java.util.Collection#iterator()
 * 
 */
public Iterator<Trabajador> trabajoIterator(){
	return trabajo.iterator();
}

/**
 * Returns <tt>true</tt> if this collection contains no elements.
 *
 * @return <tt>true</tt> if this collection contains no elements
 * @see	java.util.Collection#isEmpty()
 *
 */
public boolean isTrabajoEmpty(){
	return trabajo.isEmpty();
}

/**
 * Returns <tt>true</tt> if this collection contains the specified element. 
 *
 * @param element whose presence in this collection is to be tested.
 * @see	java.util.Collection#contains(Object)
 *
 */
public boolean containsTrabajo(Trabajador trabajo){
	return this.trabajo.contains(trabajo);
}

/**
 * Returns <tt>true</tt> if this collection contains all of the elements
 * in the specified collection.
 *
 * @param elements collection to be checked for containment in this collection.
 * @see	java.util.Collection#containsAll(Collection)
 *
 */
public boolean containsAllTrabajo(Collection<Trabajador> trabajo){
	return this.trabajo.containsAll(trabajo);
}

/**
 * Returns the number of elements in this collection.
 *
 * @return the number of elements in this collection
 * @see	java.util.Collection#size()
 *
 */
public int trabajoSize(){
	return trabajo.size();
}

/**
 * Returns all elements of this collection in an array.
 *
 * @return an array containing all of the elements in this collection
 * @see	java.util.Collection#toArray()
 *
 */
public Trabajador[] trabajoToArray(){
	return trabajo.toArray(new Trabajador[trabajo.size()]);
}


/**
 * Ensures that this collection contains the specified element (optional
 * operation). 
 *
 * @param element whose presence in this collection is to be ensured.
 * @see	java.util.Collection#add(Object)
 *
 */
public boolean addTrabajo(Trabajador trabajo){
	return this.trabajo.add(trabajo);
}

/**
 * Setter of the property <tt>trabajo</tt>
 *
 * @param trabajo the trabajo to set.
 *
 */
public void setTrabajo(Collection<Trabajador> trabajo){
	this.trabajo = trabajo;
}

/**
 * Removes a single instance of the specified element from this
 * collection, if it is present (optional operation).
 *
 * @param element to be removed from this collection, if present.
 * @see	java.util.Collection#add(Object)
 *
 */
public boolean removeTrabajo(Trabajador trabajo){
	return this.trabajo.remove(trabajo);
}

/**
 * Removes all of the elements from this collection (optional operation).
 *
 * @see	java.util.Collection#clear()
 *
 */
public void clearTrabajo(){
	this.trabajo.clear();
}

/*
 * (non-javadoc)
 */
private Jurisdiccion jurisdiccion;
 
/**
 * Getter of the property <tt>jurisdiccion</tt>
 *
 * @return Returns the jurisdiccion.
 * 
 */
public Jurisdiccion getJurisdiccion()
{
	return jurisdiccion;
}

/*
 * (non-javadoc)
 */
private Tribunal tribunal;
 
/**
 * Getter of the property <tt>tribunal</tt>
 *
 * @return Returns the tribunal.
 * 
 */
public Tribunal getTribunal()
{
	return tribunal;
}

/*
 * (non-javadoc)
 */
private Juicio juicio;
 
/**
 * Getter of the property <tt>juicio</tt>
 *
 * @return Returns the juicio.
 * 
 */
public Juicio getJuicio()
{
	return juicio;
}

}

///**
// * Setter of the property <tt>trabajo</tt>
// *
// * @param trabajo The trabajo to set.
// *
// */
//public void setTrabajo(Trabajador trabajo ){
//	this.trabajo = trabajo;
//}
///**
// * Getter of the property <tt>trabajo</tt>
// *
// * @return Returns the trabajo.
// * 
// */
//public Trabajador getTrabajo()
//{
//	return trabajo;
//}